Received: by toadflax.cs.ucdavis.edu (4.1/UCD.CS.2.6)
id AA13284; Tue, 14 Mar 95 05:04:29 PST
Received: from tuminfo2.informatik.tu-muenchen.de by toadflax.cs.ucdavis.edu (4.1/UCD.CS.2.6)
id AA13278; Tue, 14 Mar 95 05:04:19 PST
Received: from hphalle0.informatik.tu-muenchen.de ([131.159.4.1]) by tuminfo2.informatik.tu-muenchen.de with ESMTP id <26606-3>; Tue, 14 Mar 1995 12:29:47 +0100
Received: by hphalle0.informatik.tu-muenchen.de id <209155-2>; Tue, 14 Mar 1995 12:29:29 +0100
From: Martin Pfingstl <pfingstl@informatik.tu-muenchen.de>